#ifndef __USER_H__
#define __USER_H__
#include "types.h"

#ifdef  __cplusplus  
extern "C" {  
#endif  

#define NULL 0



unsigned long do_exit(unsigned long code);


void user_level_printf(char* str);

uint64_t open(char* str,int64_t mode);

uint64_t close(uint64_t fd);


uint64_t write(uint64_t fd,uint8_t* buffer,uint64_t bytes);

uint64_t lseek(uint64_t fd,uint64_t offset,uint64_t origin);



uint64_t read(uint64_t fd,uint8_t* buffer,uint64_t bytes);


void* brk(uint64_t size);


void* reboot(uint64_t cmd,void* arg);

#ifdef  __cplusplus  
}  
#endif  /* end of __cplusplus */  



#endif